Lehmer’s conjecture via model theory
نویسندگان
چکیده
In this short note, we study Lehmer’s conjecture in terms of stability theory. We state Bounded conjecture, and prove that if a certain formula is uniformly stable class structures, then holds. Our proof based on Van der Waerden’s theorem from additive combinatorics.
منابع مشابه
Security Theorems via Model Theory
A model-theoretic approach can establish security theorems, which are formulas expressing authentication and non-disclosure properties of protocols. Security theorems have a special form, namely quantified implications ∀~x .(φ ⊃ ∃~y .ψ). Models (interpretations) for these formulas are skeletons, partially ordered structures consisting of a number of local protocol behaviors. Realized skeletons ...
متن کاملPolynomials À La Lehmers and Wilf
We show that a period polynomial introduced by the Lehmers coincides with a generalized Wilf polynomial. Résumé. Nous montrons qu’un polynôme période introduit par les Lehmer cöıncide avec un polynôme de Wilf généralisé.
متن کاملSemantic Composition via Probabilistic Model Theory
Semantic composition remains an open problem for vector space models of semantics. In this paper, we explain how the probabilistic graphical model used in the framework of Functional Distributional Semantics can be interpreted as a probabilistic version of model theory. Building on this, we explain how various semantic phenomena can be recast in terms of conditional probabilities in the graphic...
متن کاملModel Selection via Rate - Distortion Theory
Rissanen’s Minimum Description Length (MDL) principle for model selection proposes that, among a predetermined collection of models, we choose the one which assigns the shortest description to the data at hand. In this context, a “description” is a lossless representation of the data that also takes into account the cost of describing the chosen model itself. We examine how the MDL principle mi...
متن کاملRepresentation Theory, Topological Field Theory, and the Andrews-curtis Conjecture
We pose a representation-theoretic question motivated by an attempt to resolve the Andrews-Curtis conjecture. Roughly, is there a triangular Hopf algebra with a collection of self-dual irreducible representations Vi so that the product of any two decomposes as a sum of copies of the Vi, and ∑ (rank Vi) 2 = 0? This data can be used to construct a “topological quantum field theory” on 2complexes ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the Japan Academy. Series A, Mathematical sciences
سال: 2022
ISSN: ['0386-2194']
DOI: https://doi.org/10.3792/pjaa.98.010